31![A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute](https://www.pdfsearch.io/img/33663b2d359e9e87b899731cecab33cb.jpg) | Add to Reading ListSource URL: software.imdea.org- Date: 2016-09-06 10:47:15
|
---|
32![The Racket Reference Version 5.2 Matthew Flatt and PLT November 8, 2011 The Racket Reference Version 5.2 Matthew Flatt and PLT November 8, 2011](https://www.pdfsearch.io/img/b8e547bd8fc2ca93d0170905325f3e6b.jpg) | Add to Reading ListSource URL: download.racket-lang.org- Date: 2014-03-03 20:14:12
|
---|
33![Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3 Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3](https://www.pdfsearch.io/img/338b2935e303f842d60397dc2597e753.jpg) | Add to Reading ListSource URL: www.cs.utah.edu- Date: 2004-04-03 19:39:33
|
---|
34![Scheme with Classes, Mixins, and Traits Matthew Flatt1 , Robert Bruce Findler2 , and Matthias Felleisen3 1 2 3 Scheme with Classes, Mixins, and Traits Matthew Flatt1 , Robert Bruce Findler2 , and Matthias Felleisen3 1 2 3](https://www.pdfsearch.io/img/7f499345a2a3b4440e90a446c9743356.jpg) | Add to Reading ListSource URL: www.cs.utah.edu- Date: 2006-08-25 13:33:58
|
---|
35![Proving Linearizability Using Partial Orders Artem Khyzha1 , Mike Dodds2 , Alexey Gotsman1 , and Matthew Parkinson3 1 IMDEA Software Institute, Madrid, Spain 2 Proving Linearizability Using Partial Orders Artem Khyzha1 , Mike Dodds2 , Alexey Gotsman1 , and Matthew Parkinson3 1 IMDEA Software Institute, Madrid, Spain 2](https://www.pdfsearch.io/img/70f146f7692e304490007f0b960e77f9.jpg) | Add to Reading ListSource URL: software.imdea.org- Date: 2017-01-21 10:32:08
|
---|
36![Journal of Economic Perspectives—Volume 31, Number 2—Spring 2017—Pages 211–236 Social Media and Fake News in the 2016 Election Hunt Allcott and Matthew Gentzkow Journal of Economic Perspectives—Volume 31, Number 2—Spring 2017—Pages 211–236 Social Media and Fake News in the 2016 Election Hunt Allcott and Matthew Gentzkow](https://www.pdfsearch.io/img/a82e6de10f5b0b6b0ff275645bf6ce65.jpg) | Add to Reading ListSource URL: web.stanford.edu- Date: 2017-05-03 11:15:27
|
---|
37![Journal of Economic Perspectives—Volume 31, Number 2—Spring 2017—Pages 211–236 Social Media and Fake News in the 2016 Election Hunt Allcott and Matthew Gentzkow Journal of Economic Perspectives—Volume 31, Number 2—Spring 2017—Pages 211–236 Social Media and Fake News in the 2016 Election Hunt Allcott and Matthew Gentzkow](https://www.pdfsearch.io/img/187e56235830bd29652ecba340569e12.jpg) | Add to Reading ListSource URL: web.stanford.edu- Date: 2017-05-03 11:15:27
|
---|
38![A Transportation Lp Distance for Signal Analysis Matthew Thorpe∗1 , Serim Park†1 , Soheil Kolouri‡3 , Gustavo K. Rohde§2 , and Dejan Slepˇcev¶1 1 Carnegie Mellon University, Pittsburgh, PA 15213, USA University A Transportation Lp Distance for Signal Analysis Matthew Thorpe∗1 , Serim Park†1 , Soheil Kolouri‡3 , Gustavo K. Rohde§2 , and Dejan Slepˇcev¶1 1 Carnegie Mellon University, Pittsburgh, PA 15213, USA University](https://www.pdfsearch.io/img/4cc68cab9045eb8dacacdd019a1a65e1.jpg) | Add to Reading ListSource URL: arxiv.org- Date: 2016-09-28 20:49:25
|
---|
39![The Epiphany The Epiphany January 6, 2013 • Matthew 2: 1-12 The Epiphany The Epiphany January 6, 2013 • Matthew 2: 1-12](https://www.pdfsearch.io/img/c5c50d9110961d9e206870ff14d483c1.jpg) | Add to Reading ListSource URL: download.elca.org- Date: 2013-09-05 10:58:59
|
---|
40![Machine learning classifiers and fMRI: a tutorial overview Francisco Pereira1 , Tom Mitchell2 and Matthew Botvinick1 1 Princeton Neuroscience Institute/Psychology Department, Princeton University 2 Machine learning classifiers and fMRI: a tutorial overview Francisco Pereira1 , Tom Mitchell2 and Matthew Botvinick1 1 Princeton Neuroscience Institute/Psychology Department, Princeton University 2](https://www.pdfsearch.io/img/f4cc8b1a9451d12c3f1e5ee7e538a22b.jpg) | Add to Reading ListSource URL: www.princeton.edu- Date: 2010-02-04 01:27:12
|
---|